| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 8 | 395806 | ||
| Algorithmische Modelltheorie | Übung | 363274 | Di 10:30-12:00 AH III (2350|314.1) (×14) | |||
| Algorithmische Modelltheorie | Vorlesung | 363272 | Mo 10:30-12:00 AH III (2350|314.1) (×15) Di 08:30-10:00 AH I (2350|028) (×15) | |||
| Combinatorial Graph Theory | Kombinatorische Graphentheorie | Fach-/Modulprüfung | 6 | 374717 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 364183 | ||
| Compilerbau | Übung | 355897 | ||||
| Compilerbau | Vorlesung | 358019 | ||||
| Concurrency Theory | Concurrency Theory | Fach-/Modulprüfung | 6 | 371826 | ||
| Concurrency Theory | Übung | 370401 | Do 11:00-13:00 Fakultätsseminarraum (2359|U112) (×1) Do 14:30-16:00 5056 (2356|056) (×10) | |||
| Concurrency Theory | Vorlesung | 370400 | Mo 14:30-16:00 AH I (2350|028) (×10) Di 14:30-16:00 AH I (2350|028) (×10) | |||
| Foundations of the UML | Theoretical Foundations of the UML (FUML) | Übung | 389620 | |||
| Theoretical Foundations of the UML (FUML) | Vorlesung | 389621 | ||||
| Graph Algorithms | Algorithmische Graphentheorie | Fach-/Modulprüfung | 6 | 364389 | ||
| Algorithmische Graphentheorie - Übung | Tutorium | 358186 | ||||
| Algorithmische Graphentheorie | Vorlesung | 358745 | ||||
| Graph Decompositions and Algorithmic Applications | Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 366641 | ||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 364443 | ||
| Infinite Computations and Games | Übung | 356795 | Fr 14:30-16:00 AH II (2350|111) (×12) | |||
| Infinite Computations and Games | Vorlesung | 357136 | Mo 10:30-12:00 5056 (2356|056) (×13) Di 10:30-12:00 AH II (2350|111) (×12) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 365164 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 365165 | |||
| Logik und Spiele (Übungen) | Übung | 355154 | ||||
| Logik und Spiele | Vorlesung | 357365 | ||||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 8 | 364744 | ||
| Mathematische Logik II | Übung | 354738 | ||||
| Mathematische Logik II | Vorlesung | 355368 | ||||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 371854 | ||
| Introduction to Model Checking | Übung | 370402 | Fr 10:30-12:00 5056 (2356|056) (×10) | |||
| Introduction to Model Checking | Vorlesung | 370403 | Do 10:30-12:00 AH II (2350|111) (×13) Fr 14:30-16:00 AH III (2350|314.1) (×8) | |||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 364757 | ||
| Modellierung und Verifikation probabilistischer Systeme | Übung | 355059 | ||||
| Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 356864 | ||||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 364415 | ||
| Parameterized Algorithms | Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 366057 | ||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 6 | 364332 | ||
| Probabilistische Programmierung | Übung | 355042 | ||||
| Probabilistische Programmierung | Vorlesung | 355369 | ||||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 370393 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 361389 | Mo 08:30-10:00 AH III (2350|314.1) (×15) Di 08:30-10:00 AH III (2350|314.1) (×15) | |||
| Static Program Analysis | Statische Programmanalyse | Übung | 389638 | |||
| Statische Programmanalyse | Vorlesung | 389639 | ||||
| Stochastic Games | Stochastic Games | Fach-/Modulprüfung | 6 | 363478 |